Buy Used and New Helmut Schwichtenberg Books

Results for Helmut Schwichtenberg

Showing 1 to 3 of 3 results
Computational Logic: 165 (Nato ASI Subseries F:) Computational Logic: 165 (Nato ASI Subseries F:) by Ulrich Berger,Helmut Schwichtenberg

Computational Logic: 165 (Nato ASI Subseries F:)

by Ulrich Berger,Helmut Schwichtenberg


ISBN 13: 9783540645894

Format: Hardcover (460 pages)
Publisher: Springer
Published: 14 Apr 1999

Save for later

 
New : $232.00  
New : $232.00
Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification by Klaus Mainzer,Peter Schuster,Helmut Schwichtenberg

Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

by Klaus Mainzer,Peter Schuster,Helmut Schwichtenberg


ISBN 13: 9789811236471

Format: Hardcover (424 pages)
Publisher: World Scientific Publishing
Published: 27 Aug 2021

Save for later

 
New : $167.15  
New : $167.15